\begin{tabbing}
ma{-}interface{-}glued{-}p(${\it es}$;$A$;$I$;$l$;${\it tg}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=ma{-}interface{-}consistent(${\it es}$;$I$)\+
\\[0ex]\& ($\forall$$e$:es{-}E(${\it es}$). (es{-}kind(${\it es}$; $e$) = rcv($l$,${\it tg}$) $\in$ Knd) $\Rightarrow$ (es{-}valtype(${\it es}$; $e$) $\subseteq$r $A$))
\\[0ex]\& glued(\=${\it es}$;\+
\\[0ex]$A$;
\\[0ex]($\lambda$$e$.ma{-}abs{-}interface(${\it es}$;$I$)($e$));
\\[0ex]ma{-}abs{-}interface(${\it es}$;$I$);
\\[0ex]es{-}in{-}port(${\it es}$;$l$;${\it tg}$))
\-\-
\end{tabbing}